涼宮ハルヒの憂鬱第8話『笹の葉ラプソティ』 - Internet Explorer 2.0

涼宮ハルヒの憂鬱第8話『笹の葉ラプソティ』

無矛盾な公理的集合論は自己そのものの無矛盾性を証明できないから

という台詞はここに登場する